Aller au contenu principal Activer le contraste adaptéDésactiver le contraste adapté
Fermer

BAE Systems: contrat de 6 M$ avec la DARPA
information fournie par Zonebourse 04/12/2024 à 16:52

(CercleFinance.com) - BAE Systems annonce que son organisation de recherche FAST Labs a reçu un contrat de 6 millions de dollars de la DARPA dans le cadre du programme PROVERS (Pipelined Reasoning of Verifiers Enabling Robust Systems).

Ce programme vise à simplifier l'utilisation des méthodes formelles, outils de vérification logicielle, pour les rendre accessibles aux développeurs non spécialisés.

Ces outils permettront d'améliorer la fiabilité des systèmes logiciels critiques du Département de la Défense (DoD) tout en réduisant les défauts et vulnérabilités, assure BAE Systems.


Valeurs associées

1 776,750 GBX LSE +0,89%

0 commentaire

Signaler le commentaire

Fermer

A lire aussi

Mes listes

Cette liste ne contient aucune valeur.
Chargement...